echo("include");
include("/clang/asl/script/include_file.asl");